4

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || Inductively defined types

Année:
1990
Langue:
english
Fichier:
PDF, 1011 KB
english, 1990
5

Epsilon substitution for first- and second-order predicate logic

Année:
2013
Langue:
english
Fichier:
PDF, 146 KB
english, 2013
7

Conservation of Asian art—a select bibliography of Western language publications

Année:
2006
Langue:
english
Fichier:
PDF, 1.07 MB
english, 2006
9

The Individual Creative Career and The Typology of Culture Codes

Année:
1974
Langue:
english
Fichier:
PDF, 224 KB
english, 1974
15

Justification of the structural synthesis of programs

Année:
1982
Langue:
english
Fichier:
PDF, 1.40 MB
english, 1982
16

Propositional logic programming and the Priz system

Année:
1990
Langue:
english
Fichier:
PDF, 887 KB
english, 1990
17

Cut elimination for a simple formulation of epsilon calculus

Année:
2008
Langue:
english
Fichier:
PDF, 300 KB
english, 2008
18

Interpolation theorems for intuitionistic predicate logic

Année:
2001
Langue:
english
Fichier:
PDF, 137 KB
english, 2001
19

Extended normal form theorems for logical proofs from axioms

Année:
2000
Langue:
english
Fichier:
PDF, 106 KB
english, 2000
21

Structure and toughness of medium-carbon steel with boron

Année:
1976
Langue:
english
Fichier:
PDF, 1.02 MB
english, 1976
22

Current-carrying capacity of composite superconductors

Année:
1983
Langue:
english
Fichier:
PDF, 371 KB
english, 1983
23

Epsilon substitution method for elementary analysis

Année:
1996
Langue:
english
Fichier:
PDF, 1.40 MB
english, 1996
26

Proof theory in the USSR 1925–1969

Année:
1991
Langue:
english
Fichier:
PDF, 2.47 MB
english, 1991
28

Rough set theory for distilling construction safety measures

Année:
2006
Langue:
english
Fichier:
PDF, 391 KB
english, 2006
30

Municipal Produce: A Family Business Nightmare

Année:
2018
Langue:
english
Fichier:
PDF, 258 KB
english, 2018
34

A normal form for logical derivations implying one for arithmetic derivations

Année:
1993
Langue:
english
Fichier:
PDF, 993 KB
english, 1993
35

Localization of nonlinear waves in randomly inhomogeneous media

Année:
1984
Langue:
english
Fichier:
PDF, 200 KB
english, 1984
36

Extraction of vanadium from black shale using pressure acid leaching

Année:
2009
Langue:
english
Fichier:
PDF, 287 KB
english, 2009
38

Kinetics of vanadium dissolution from black shale in pressure acid leaching

Année:
2010
Langue:
english
Fichier:
PDF, 1.65 MB
english, 2010
39

Sulfuric acid leaching of zinc silicate ore under pressure

Année:
2010
Langue:
english
Fichier:
PDF, 766 KB
english, 2010
43

Thermodynamics of vanadium–sulfur–water systems at 298 K

Année:
2011
Langue:
english
Fichier:
PDF, 649 KB
english, 2011
44

Asia – sleeping giant or simply sleeping?

Année:
2008
Langue:
english
Fichier:
PDF, 138 KB
english, 2008
45

Europe gains PV pole position

Année:
2008
Langue:
english
Fichier:
PDF, 225 KB
english, 2008
46

PV demand: 2007 and beyond

Année:
2008
Langue:
english
Fichier:
PDF, 153 KB
english, 2008
47

Can solar PV beat the downturn?

Année:
2009
Langue:
english
Fichier:
PDF, 202 KB
english, 2009
48

Intersolar continues as premium event

Année:
2009
Langue:
english
Fichier:
PDF, 291 KB
english, 2009
49

Can CSP and wind coexist?

Année:
2009
Langue:
english
Fichier:
PDF, 289 KB
english, 2009
50

Solar electricity: 2009 surprise success

Année:
2010
Langue:
english
Fichier:
PDF, 2.78 MB
english, 2010